2016³â µ¿°èÇмú¹ßǥȸ
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
Á¤Ã¥ ±â¹ÝÀÇ ¶ó¿ìÆÃÀ» À§ÇÑ °ËÁõ µµ±¸ÀÇ ¿ä±¸ »çÇ× ºÐ¼® |
¿µ¹®Á¦¸ñ(English Title) |
Requirements Analysis on Verification Tools for Policy-based Routing |
ÀúÀÚ(Author) |
±è¼øÀç
Á¤Ã¶ÈÆ
¼¼º¿¬
ÀÌ¿øÁØ
Sunjae Kim
Cheoulhoon Jung
Sungyun Seo
Wonjun Lee
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 43 NO. 02 PP. 0939 ~ 0941 (2016. 12) |
Çѱ۳»¿ë (Korean Abstract) |
°ü¸®ÀÚ°¡ ÀÓÀÇ·Î ¶ó¿ìÆà ±ÔÄ¢À» Ãß°¡ÇÏ´Â Á¤Ã¥ ±â¹ÝÀÇ ¶ó¿ìÆà ȯ°æ¿¡¼´Â À߸øµÈ ¶ó¿ìÆà ±¸¼ºÀ¸·Î ÀÎÇØ ³×Æ®¿öÅ©¸¦ ÅëÇÑ ¼ºñ½º¸¦ Á¦°øÇÏ´Â µ¥ ¹®Á¦°¡ ¹ß»ýÇÒ °¡´É¼ºÀÌ ³ô´Ù. µû¶ó¼ °ü¸®ÀÚ°¡ ±ÔÄ¢À» Ãß°¡ÇÏ·Á ÇÒ ¶§ ¶ó¿ìÆà ¹®Á¦¸¦ ¹ß»ý½Ãų ¼ö ÀÖ´ÂÁö¸¦ °ËÁõÇÏ´Â µµ±¸ÀÇ °³¹ßÀÌ ÇÊ¿äÇÏ´Ù. º» ³í¹®¿¡¼´Â Á¤Ã¥ ±â¹ÝÀÇ ¶ó¿ìÆÃÀÌ ÀûÀýÈ÷ ÀÌ·ç¾îÁö±â À§Çؼ ¸¸Á·ÇØ¾ß Çϴ Ư¡µéÀ» ºÐ¼®ÇÏ°í, ±âÁ¸ÀÇ °ËÁõ µµ±¸µéÀÌ À̸¦ Á¦°øÇÏ°í ÀÖ´ÂÁö¸¦ Á¶»çÇÑ´Ù. À̸¦ ¹ÙÅÁÀ¸·Î Á¤Ã¥ ±â¹ÝÀÇ ¶ó¿ìÆÃÀ» °ËÁõÇϱâ À§ÇÑ µµ±¸°¡ °®Ãß¾î¾ß ÇÒ ¿ä±¸»çÇ×À» Á¦¾ÈÇÑ´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|